factorize x^2-7x 12